Proposal software - PDFSEARCH.IO - Document Search Engine

Proposal software
Results: 1232

#	Item
111	A Preliminary Proposal for a Deep-Copying Smart Pointer Document #: Date: Revises: Project: Reply to: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2012-01-09 09:23:48 Computer programming Typename C++ classes Typedef String Template Smart pointer Constant Sequence container C++ Computing Software engineering
112	Topic: PDS CAN - Pre-Proposal Conference Date: Wednesday, March 18, 2015 Time: 11:30 am, Eastern Daylight Time (New York, GMT-04:00) Meeting Number: Meeting Password: _W@lc0m31_ Add to Reading List Source URL: mgmt.pds.nasa.gov Language: English - Date: 2015-03-12 19:54:48 Teleconferencing Remote administration software Password WebEx Computer-mediated communication Videotelephony Web conferencing
113	Note: the electronic PDF-version of this document contains hyperlinks for easy reference. Proposal for a Formal Methods 2008 Tutorial Formal Methods and Signal Processing Raymond Boute, INTEC—Ghent University, boute@i Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 08:22:39 Formal methods Theoretical computer science Media technology Signal processing Edsger W. Dijkstra SIGNAL Systems modeling Algorithm Electrical engineering Computing Computer science Software engineering
114	A Preliminary Proposal for a Static if Document #: Date: Revises: Project: Reply to: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2012-01-09 02:36:06 C++ Generic programming Template Object-oriented programming Iterator D ALGOL 68 Preprocessor Standard Template Library Software engineering Computing Computer programming
115	Indexed Chat History and Infinite Conversation Scrollback A proposal to improve the conversation history experience in Instantbird as part of GSoCPersonal Details Add to Reading List Source URL: nhnt11.com Language: English - Date: 2014-04-28 13:20:26 Internet Email Cross-platform software Web 2.0 Text messaging Gmail Internet Relay Chat SMS Computing Technology Online chat
116	WavesWorld: A Testbed for Constructing 3D Semi-Autonomous Animated Characters This proposal discusses a thesis that uses computer graphics and artificial intelligence techniques to allow the construction of arbitrary thr Add to Reading List Source URL: xenia.media.mit.edu Language: English - Date: 1998-06-26 17:53:28 Imaging Computing Science Visual effects Action selection Cognitive science Computer animation Reactive planning 3D computer graphics software 3D computer graphics Computer graphics Artificial intelligence
117	Forth 200x Standards Committee #3 Schloss Dagstuhl, Germany. 13–14 September 2007 Minutes 1. Participants Sergey Baranov Add to Reading List Source URL: www.forth200x.org Language: English - Date: 2009-09-22 15:19:57 Marketing Proposal HTML element PK machine gun Forth Programming language theory Computing Sales Software engineering
118	Predicting Properties of Specialized Programs PhD Proposal Karoline Malmkjær November 20, 1991 c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Computability theory Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Eval ALGOL 68 Lambda calculus Type system Software engineering Computing Computer programming
119	InstaVPS www.InstaVPS.com SeattleIX – InstaVPS Extension proposal Date: Author: Mathew Perkins Author Email: mat_a_t_instavps.com Add to Reading List Source URL: www.seattleix.net Language: English - Date: 2013-09-05 18:04:00 Computing Network switch MAC address Internet service provider X Window System Software OSI protocols Ethernet
120	Proposal for a tutorial on “Teaching Formal Methods to Novices” Satellite event to FM’08 Topic Teaching formal methods to students in high school and introductory university courses Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 08:37:50 Structured derivations Software development Logic in computer science Software engineering Invariant-based programming Formal verification Invariant Formal methods Mathematics education Mathematics

UPDATE